Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
61	SPHERELIKE DIVISORS ANDREAS HOCHENEGGER Let X be a smooth projective variety of dimension d. An object S in Db (X) is called spherical if (1) Ext• (S, S) = k ⊕ k[−d]; Add to Reading List Source URL: www.iag.uni-hannover.de Language: English - Date: 2016-04-06 07:35:52 String theory Algebraic geometry Homological algebra Mathematical physics Differential geometry Homological mirror symmetry Mirror symmetry Triangulated category Divisor
62	ETH Competence Center Coping with Crises in Complex Socio-Economic Systems (CCSS) www.ccss.ethz.ch Prof. Dr. Dirk Helbing Add to Reading List Source URL: www.ccss.ethz.ch Language: English - Date: 2010-06-06 06:56:12 Systemic risk Network theory Networks Financial crises Financial risk Dirk Helbing Robustness of complex networks Agent-based model Risk Financial crisis Crisis Object Process Methodology
63	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2015-07-22 04:38:38 Data types Object-oriented programming Type theory Object Identifier Subtyping Const
64	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-31 23:15:57 Type theory Functional languages Object-oriented programming languages Type systems Data types Haskell Structural type system Duck typing D Type signature OCaml Abstract type
65	Type-Based Reasoning for Real Languages Janis Voigtl¨ander University of Bonn PPL’10 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Map Ordinal number Boolean data type
66	Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-05-09 14:09:08 Type theory Concurrent programming languages Object-oriented programming Polymorphism Data types Scala Covariance and contravariance Go Type system Type inference Subtyping Form
67	SUNlite Shedding some light on UFOlogy and UFOs Volume 1 Number 3 September-October 2009 Add to Reading List Source URL: www.astronomyufo.com Language: English - Date: 2014-07-07 19:19:42 Ufologists Roswell UFO incident Kevin D. Randle Unidentified flying object Lincoln LaPaz Ufology Green fireballs William J. Birnes UFO Philip J. Klass UFO conspiracy theory
68	PDF Document Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2004-12-22 23:50:07 Abstraction Mark Rothko Card shuffling Samuel Eilenberg Philosophy of mathematics Category theory Shuffling Abstract expressionism Category Number Integer Mathematical object
69	Value Classes in Scala Lukas Rytz, Typesafe Value Classes in Scala • Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Object-oriented programming languages Functional programming Type theory Scala Immutable object Xtend C++ classes Covariance and contravariance Type class
70	A Benchmark for Context Data Management in Mobile Context-Aware Applications∗ Nadine Frohlich ¨ Thorsten Moller Add to Reading List Source URL: persdb10.imis.athena-innovation.gr Language: English - Date: 2010-09-24 11:17:17 Database management systems Query languages Database theory Semantic Web Db4o Object database Triplestore SPARQL Query by Example SQLite Embedded database MySQL